1. Logical Foundations of Proof Complexity
پدیدآورنده : / Cook, Stephen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen, 8491-
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
3. Logical foundations of proof complexity
پدیدآورنده : Cook, Stephen
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
4. The whirlwind :essays on Job, hermeneutics and theology in memory of Jane Morse
پدیدآورنده : edited by Stephen L. Cook, Corrine L. Patton and James W. Watts
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
MLCM
2006/12431
5. UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings
پدیدآورنده : Jean-Marc Jezequel, Heinrich Hussmann, Stephen Cook )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2460